home *** CD-ROM | disk | FTP | other *** search
/ TeX 1995 July / TeX CD-ROM July 1995 (Disc 1)(Walnut Creek)(1995).ISO / tex-k / tex-k-archive.past / tex-k-archive.gz / tex-k-archive / 000110_kb@cs.umb.edu_Thu Dec 9 11:18:13 1993.msg < prev    next >
Internet Message Format  |  1994-10-11  |  6KB
  1. Received: from terminus.cs.umb.edu by cs.umb.edu with SMTP id AA10732
  2.   (5.65c/IDA-1.4.4 for <tex-k-exp@cs.umb.edu>); Thu, 9 Dec 1993 16:18:14 -0500
  3. Received: by terminus.cs.umb.edu id AA11232
  4.   (5.65c/IDA-1.4.4 for tex-k); Thu, 9 Dec 1993 16:18:13 -0500
  5. Date: Thu, 9 Dec 1993 16:18:13 -0500
  6. From: "K. Berry" <kb@cs.umb.edu>
  7. Message-Id: <199312092118.AA11232@terminus.cs.umb.edu>
  8. To: tex-k@cs.umb.edu
  9. Subject: revised MakeTeXPK.in
  10. Reply-To: kb@cs.umb.edu
  11.  
  12. Here is a revised MakeTeXPK. Untested of course :-(
  13. The Makefile's will do some substitutions on it, should be obvious what
  14. to do. (If not, don't bother trying it.)
  15.  
  16. If anyone has time & desire to test this out, I'd appreciate it.
  17. It includes the gsftopk support R.K. contributed, in a slightly revised
  18. form, and other cleanups/changes.
  19.  
  20. #!/bin/sh
  21. # original MakeTeXPK -- make a new PK font, because one wasn't found.
  22. # 
  23. # (If you change or delete the word `original' on the previous line,
  24. # installation won't write this MakeTeXPK over yours.)
  25. # 
  26. # Parameters:
  27. #
  28. #   name dpi bdpi magnification [mode]
  29. #
  30. #   `name' is the base name of the font, such as `cmr10'.
  31. #   `dpi' is the resolution the font is needed at.
  32. #   `bdpi' is the base resolution, used to intuit the mode to use.
  33. #   `magnification' is a string to pass to MF as the value of `mag'.
  34. #   `mode', if supplied, is the mode to use.
  35. #
  36. # This script must echo the name of the generated PK file (and nothing
  37. # else) to standard output. Yes, this is different from the original dvips.
  38.  
  39. echo "Running MakeTeXPK $*" 1>&2
  40.  
  41. # Where to put the new file. The Makefile substitutes for this value.
  42. : ${DESTDIR=@mtp_destdir@}
  43.  
  44. # Define to `gsftopk' or `ps2pk' or whatever to make PK files for
  45. # PostScript fonts. If this is defined, MAPFILE must also be defined to
  46. # be your psfonts.map file or some equivalent. The Makefile substitutes
  47. # for this, too.
  48. : ${gsftopk=""}
  49. : ${MAPFILE=@configdir@/psfonts.map}
  50.  
  51. # If this directory doesn't exist, the Sauter stuff won't be attempted.
  52. : ${sauterdir=/usr/local/src/TeX+MF/tex82/utilities/sauter}
  53.  
  54. # Likewise, for the F3 stuff.
  55. : ${f3dir=/groups/dtrg/typescaler/fonts/f3b}
  56.  
  57. # TEMPDIR needs to be unique for each process because of the possibility
  58. # of simultaneous processes running this script.
  59. TEMPDIR=/tmp/mtpk.$$
  60.  
  61. NAME=$1
  62. DPI=$2
  63. BDPI=$3
  64. MAG=$4
  65. MODE=$5
  66.  
  67. umask 0
  68.  
  69. GFNAME=$NAME.$DPI'gf'
  70. PKNAME=$NAME.$DPI'pk'
  71.  
  72. # Have we been spuriously called? No harm done, if so.
  73. if test -r $DESTDIR/$PKNAME; then
  74.   echo "$DESTDIR/$PKNAME already exists!" 1>&2
  75.   echo $DESTDIR/$PKNAME
  76.   exit 0
  77. fi
  78.  
  79. # Clean up on normal or abnormal exit.
  80. trap "cd /; rm -rf $TEMPDIR $DESTDIR/pktmp.$$" 0 1 2 15
  81.  
  82. # Do we have a GF file in the current directory?
  83. if test -r $GFNAME; then
  84.   echo "gftopk ./$GFNAME $PKNAME" 1>&2
  85.   gftopk ./$GFNAME $PKNAME
  86.   # Don't move the font; if the person knows enough to make fonts, they
  87.   # know enough to have . in the font paths.
  88.   echo $PKNAME
  89.   exit 0
  90. fi
  91.  
  92. # Do we have an F3 font?
  93. if test -r $f3dir/$NAME.f3b; then
  94.   # You will need Sun's f3tobm program, plus a program I wrote.
  95.   # See ftp.cs.umb.edu:private/f3totex.
  96.   cd $f3dir || exit 1
  97.   echo "f3topk -r $DPI $NAME" 1>&2
  98.   if f3topk -r $DPI $NAME; then
  99.     # Best if f3topk echoes its output filename, I think.
  100.     exit 0
  101.   else
  102.     echo "f3topk failed." 1>&2
  103.     exit 1
  104.   fi
  105. fi
  106.  
  107. # Is this a PostScript font?
  108. if test -n "$gsftopk" && egrep \^$NAME'([     ]|$)' $MAPFILE >/dev/null; then
  109.   echo "Running $gsftopk $NAME $DPI." 1>&2
  110.   if $gsftopk $NAME $DPI 1>&2; then
  111.     echo $NAME
  112.     exit 0
  113.   else
  114.     echo "$gsftopk failed."
  115.     exit 1
  116.   fi
  117. fi
  118.   
  119. # We're down to trying Metafont.  Since we want to run it in a
  120. # temporary directory, add the current directory to MFINPUTS.
  121. MFINPUTS=`pwd`:${MFINPUTS}:
  122. export MFINPUTS
  123.  
  124. test -d $TEMPDIR || mkdir $TEMPDIR 
  125. cd $TEMPDIR || exit 1
  126.  
  127. # Which version of Metafont shall we use?
  128. case $NAME in
  129.   cm*) mf=cmmf;;
  130.     *) mf=mf;;
  131. esac
  132.  
  133. # If an explicit mode is not supplied, try to guess. You can get a
  134. # complete list of extant modes from ftp.cs.umb.edu:pub/tex/modes.mf.
  135. if test -z "$MODE"; then
  136.   case "$BDPI" in
  137.     85) MODE=sun;;
  138.    118) MODE=lview;;
  139.    300) MODE=CanonCX;;
  140.    600) MODE=ljfour;;
  141.   1270) MODE=LinotypeOneZeroZero;;
  142.      *) echo "MakeTeXPK doesn't have a guess for $BDPI dpi devices." 1>&2
  143.         echo "Put the mode in a config file, or update MakeTeXPK." 1>&2
  144.         exit 1
  145.   esac
  146. fi
  147.  
  148. # Run Metafont. 
  149. echo "Running $mf \mode:=$MODE; mag:=$MAG; scrollmode; input $NAME" 1>&2
  150. $mf "\mode:=$MODE; mag:=$MAG; scrollmode; input $NAME" </dev/null 1>&2
  151.  
  152. if test -d $sauterdir && test $? -eq 1 && test $mf = cmmf; then
  153.   echo "Trying interpolated/extrapolated (Sauter) CM source." 1>&2
  154.   # Perhaps no such MF source file, and it's CM.  Try Sauter's scripts.
  155.   cd $sauterdir
  156.   rootfont=`echo $NAME | sed 's/[0-9]*$//'`
  157.   pointsize=`echo $NAME | sed 's/^\(.*\)\([0-9]*\)$/\1/'`
  158.   make-mf $rootfont $pointsize
  159.   $mf "\mode:=$MODE; mag:=$MAG; scrollmode; input mf/$NAME" </dev/null
  160.   if test $? -eq 0 && test -r $GFNAME; then
  161.     mv $GFNAME $TEMPDIR
  162.   fi
  163.   rm -f $NAME.log mf/$NAME
  164.   cd $TEMPDIR
  165. fi
  166.  
  167. if test ! -r $GFNAME; then
  168.   # Maybe it succeeded at DPI +- 1?  Annoying to have to check for this,
  169.   # but it avoids some annoyances, so fine.
  170.   test_dpi=`expr $DPI - 1`
  171.   test_name=$NAME.${test_dpi}
  172.   if test -r ${test_name}gf; then
  173.     GFNAME=${test_name}gf
  174.     PKNAME=${test_name}pk
  175.   else
  176.     test_dpi=`expr $DPI + 1`
  177.     test_name=$NAME.${test_dpi}
  178.     if test -r ${test_name}gf; then
  179.       GFNAME=${test_name}gf
  180.       PKNAME=${test_name}pk
  181.     else
  182.       echo "MakeTeXPK failed to make $GFNAME." 1>&2
  183.       exit 1
  184.     fi
  185.   fi
  186. fi
  187.  
  188. # Metafont succeeded.  Make the PK file.
  189. gftopk ./$GFNAME $PKNAME
  190.  
  191. test -d $DESTDIR \
  192.   || mkdir $DESTDIR \
  193.   || (echo "${DESTDIR}: MakeTeXPK could not create directory." 1>&2; exit 1)
  194.  
  195. # Install the PK file carefully, since others may be working simultaneously.
  196. mv $PKNAME $DESTDIR/pktmp.$$ \
  197.   || (echo "$0: Could not mv $PKNAME $DESTDIR/pktmp.$$." 1>&2; exit 1)
  198.  
  199. cd $DESTDIR || exit 1
  200. mv pktmp.$$ $PKNAME
  201.  
  202. # If this line (or an equivalent) is not present, dvipsk/xdvik will think
  203. # MakeTeXPK failed.  Any other output to stdout will likewise lose.
  204. echo $DESTDIR/$PKNAME